This choice might cause some confusion,
when we adapt these macros for LATEX,
since Leslie Lamport uses the term `float' for objects
which are realized as TEX-\inserts
.
While L. Lamports floats are floating in `main vertical list',
floats introduced by Th. Reid
are floating in paragraphs.
For the following we adopt the latter meaning.